BLOEM, RODERICK: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Handbook of Model Checking || Satisfiability Modulo Theories

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 923 KB

english, 2018

2

Handbook of Model Checking || Model Checking Security Protocols

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 920 KB

english, 2018

3

Handbook of Model Checking || Transfer of Model Checking to Industrial Practice

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 742 KB

english, 2018

4

Handbook of Model Checking || Binary Decision Diagrams

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 828 KB

english, 2018

5

Handbook of Model Checking || Process Algebra and Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1001 KB

english, 2018

6

Synthesis of Reactive(1) designs

Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Saʼar

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 708 KB

english, 2012

7

Handbook of Model Checking || BDD-Based Symbolic Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 795 KB

english, 2018

8

Handbook of Model Checking || Combining Model Checking and Data-Flow Analysis

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.13 MB

english, 2018

9

Handbook of Model Checking || Graph Games and Reactive Synthesis

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.05 MB

english, 2018

10

Fault localization using a model checker

Andreas Griesmayer, Stefan Staber, Roderick Bloem

Journal:

Software Testing, Verification and Reliability

Year:

2010

Language:

english

File:

PDF, 289 KB

english, 2010

11

Decidability of Parameterized Verification

Bloem, Roderick, Jacobs, Swen, Khalimov, Ayrat, Konnov, Igor, Rubin, Sasha, Veith, Helmut, Widder, Josef

Journal:

Synthesis Lectures on Distributed Computing Theory

Year:

2015

Language:

english

File:

PDF, 1.40 MB

english, 2015

12

[ACM Press the 12th International Conference - Reggio Calabria, Italy (2017.08.29-2017.09.01)] Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES '17 - Towards a Secure SCRUM Process for Agile Web Application Development

Maier, Patrik, Ma, Zhendong, Bloem, Roderick

Year:

2017

Language:

english

File:

PDF, 865 KB

english, 2017

13

Handbook of Model Checking || Model Checking Concurrent Programs

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 978 KB

english, 2018

14

Handbook of Model Checking || Model Checking Real-Time Systems

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.26 MB

english, 2018

15

Handbook of Model Checking || Compositional Reasoning

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 998 KB

english, 2018

16

Handbook of Model Checking || Explicit-State Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 721 KB

english, 2018

17

Handbook of Model Checking || Automata Theory and Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1012 KB

english, 2018

18

Handbook of Model Checking || Combining Model Checking and Testing

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1010 KB

english, 2018

19

Handbook of Model Checking || Modeling for Verification

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.59 MB

english, 2018

20

Handbook of Model Checking || Predicate Abstraction for Program Verification

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.39 MB

english, 2018

21

Handbook of Model Checking || The mu-calculus and Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.07 MB

english, 2018

22

Handbook of Model Checking || Model Checking Procedural Programs

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1003 KB

english, 2018

23

Handbook of Model Checking || Model Checking Probabilistic Systems

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 955 KB

english, 2018

24

Handbook of Model Checking || Abstraction and Abstraction Refinement

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1011 KB

english, 2018

25

Handbook of Model Checking || Functional Specification of Hardware via Temporal Logic

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 898 KB

english, 2018

26

Handbook of Model Checking || Interpolation and Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 935 KB

english, 2018

27

Handbook of Model Checking || Partial-Order Reduction

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 720 KB

english, 2018

28

Handbook of Model Checking || Symbolic Trajectory Evaluation

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 952 KB

english, 2018

29

Handbook of Model Checking || SAT-Based Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 856 KB

english, 2018

30

Handbook of Model Checking || Model Checking Parameterized Systems

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1022 KB

english, 2018

31

Handbook of Model Checking || Introduction to Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 843 KB

english, 2018

32

Handbook of Model Checking || Combining Model Checking and Deduction

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 893 KB

english, 2018

33

Handbook of Model Checking || Symbolic Model Checking in Non-Boolean Domains

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 976 KB

english, 2018

34

Handbook of Model Checking || Temporal Logic and Fair Discrete Systems

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.01 MB

english, 2018

35

Handbook of Model Checking || Propositional SAT Solving

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.04 MB

english, 2018

36

Handbook of Model Checking || Verification of Hybrid Systems

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.39 MB

english, 2018

37

A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars

Roderick Bloem, Joost Engelfriet

Journal:

Journal of Computer and System Sciences

Year:

2000

Language:

english

File:

PDF, 547 KB

english, 2000

38

Preface

Roderick Bloem, Marco Roveri, Fabio Somenzi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 70 KB

english, 2007

39

Specify, Compile, Run: Hardware from PSL

Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 338 KB

english, 2007

40

Compositional SCC Analysis for Language Emptiness

Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 395 KB

english, 2006

41

An Algorithm for Strongly Connected Component Analysis innlognSymbolic Steps

Roderick Bloem, Harold N. Gabow, Fabio Somenzi

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 344 KB

english, 2006

42

Automated Fault Localization for C Programs

Andreas Griesmayer, Stefan Staber, Roderick Bloem

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 488 KB

english, 2007

43

Finding and fixing faults

Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 348 KB

english, 2012

44

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - Automatic Hardware Synthesis from Specifications: A Case Study

Bloem, Roderick, Galler, Stefan, Jobstmann, Barbara, Piterman, Nir, Pnueli, Amir, Weiglhofer, Martin

Year:

2007

Language:

english

File:

PDF, 110 KB

english, 2007

45

[IEEE 2008 9th International Conference for Young Computer Scientists (ICYCS) - Hunan, China (2008.11.18-2008.11.21)] 2008 The 9th International Conference for Young Computer Scientists - Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme

Toegl, Ronald, Hofferek, Georg, Greimel, Karin, Leung, Adrian, Phan, Raphael C-W., Bloem, Roderick

Year:

2008

Language:

english

File:

PDF, 779 KB

english, 2008

46

Synthesizing robust systems

Bloem, Roderick, Chatterjee, Krishnendu, Greimel, Karin, Henzinger, Thomas A., Hofferek, Georg, Jobstmann, Barbara, Könighofer, Bettina, Könighofer, Robert

Journal:

Acta Informatica

Year:

2014

Language:

english

File:

PDF, 794 KB

english, 2014

47

Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

Könighofer, Robert, Hofferek, Georg, Bloem, Roderick

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 958 KB

english, 2013

48

[Lecture Notes in Computer Science] Computer Aided Verification Volume 8559 ||

Biere, Armin, Bloem, Roderick

Year:

2014

Language:

english

File:

PDF, 14.21 MB

english, 2014

49

[Lecture Notes in Computer Science] Computer Aided Verification Volume 8559 || Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections

Biere, Armin, Bloem, Roderick

Year:

2014

Language:

english

File:

PDF, 446 KB

english, 2014

50

[IEEE 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES) - Vasteras, Sweden (2011.06.15-2011.06.17)] 2011 6th IEEE International Symposium on Industrial and Embedded Systems - Specification-centered robustness

Bloem, Roderick, Chatterjee, Krishnendu, Greimel, Karin, Henzinger, Thomas A., Jobstmann, Barbara

Year:

2011

Language:

english

File:

PDF, 1.09 MB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски